Performability of Actions

Abstract Action theory may be regarded as a theoretical foundation of AI, because it provides in logically coherent way the principles performing actions by agents. But, more importantly, action offers formal ontology mainly based on set-theoretic constructs. This isolates various types structured entities: atomic, sequential, compound, ordered, situational etc., and is solid non-removable any rational activity. The paper concerned with bunch issues centered around notion performability actions. It seems that problem actions, though basic importance for purely practical applications, has not been investigated literature systematic thus far. work, being companion to book reported (Czelakowski Freedom enforcement action. Elements theory, Springer 2015), elaborates relational models constructs borrowed from lingusistics. discussion encapsulated form strict logical system "Equation missing". semantically defined terms its intended which role (atomic, sequential compound ones) accentuated. Since due nature --> finitary, other semantic variants are defined. focus finite An adequate axiom strong completeness theorem central result. canonical model proof highlighted. relationship between dynamic logic also discussed.